Award EATCS Award
Authors (21)
- Images
- Names
EATCS Award (2015)
Knuth Prize (2002)
Gödel Prize (2012)
IEEE John von Neumann Medal (2016)
IEEE Computer Society Charles Babbage Award (2004)
Harvey Prize (2018)
Christos H. Papadimitriou
9 works · 3,119 members
EATCS Award (2018)
Donald E. Knuth Prize (2016)
Gödel Prize (2012)
Rothschild Prize (2018)
Noam Nisan
7 works · 538 members
EATCS Award (2008)
Nevanlinna Prize (1986)
Knuth Prize (1997)
Turing Award (2010)
Leslie Valiant
3 works · 200 members
EATCS Award (2016)
McDowell Award (2016)
Alonzo Church Award (2022)
Dexter C. Kozen
5 works · 177 members
EATCS Award (2005)
Turing Award (1991)
Royal Medal of the Royal Society of Edinburgh (2004)
Robin Milner
6 works · 164 members
EATCS Award (2010)
Gottfried Wilhelm Leibniz Prize (1986)
Karl Heinz Beckurts Award (1994)
Konrad Zuse Medal (1995)
Paris Kanellakis Theory and Practice Award (2010)
Kurt Mehlhorn
7 works · 115 members
EATCS Award (2003)
Grzegorz Rozenberg
26 works · 106 members
EATCS Award (2004)
Arto Salomaa
9 works · 96 members
EATCS Award (2024)
Lovelace Medal (2013)
Samson Abramsky
14 works · 87 members
EATCS Award (2009)
Herbrand Award (1998)
Gerard Huet
5 works · 35 members
EATCS Award (2011)
B. A. Trakhtenbrot
5 works · 31 members
EATCS Award (2023)
Paris Kanellakis Theory and Practice Award (2016)
Amos Fiat
2 works · 19 members
EATCS Award (2014)
Milner Award (2012)
Wolfson Research Merit Award
Lovelace Medal (2018)
Michael Faraday Prize (2025)
ACM/SIGART Autonomous Agents Research Award (2006)
Gordon Plotkin
3 works · 17 members
EATCS Award (2012)
Gödel Prize (2000)
Paris Kanellakis Theory and Practice Award (2005)
Harry Goode Memorial Award (2011)
Knuth Prize (2021)
Moshe Y. Vardi
14 works · 16 members
EATCS Award (2025)
President of India's Gold Medal
Computer Aided Verification Award (2008)
Alonzo Church Award (2016)
Knuth Prize (2024)
Rajeev Alur
5 works · 16 members
EATCS Award (2007)
Rolf Schock Prize (Logic and Philosophy, 1997)
Turing Award (1976)
Leroy P. Steele Prize (1972)
Harold Pender Award (1990)
Bolzano Prize (2001)
Dana S. Scott
3 works · 14 members
EATCS Award (2006)
Dijkstra Prize (2001)
Lester R. Ford Award (2010)
Michael S. Paterson
3 works · 10 members
- Christos H. Papadimitriou (works: 9, members: 3,119)
- Noam Nisan (works: 7, members: 538)
- Leslie Valiant (works: 3, members: 200)
- Dexter C. Kozen (works: 5, members: 177)
- Robin Milner (works: 6, members: 164)
- Kurt Mehlhorn (works: 7, members: 115)
- Grzegorz Rozenberg (works: 26, members: 106)
- Arto Salomaa (works: 9, members: 96)
- Samson Abramsky (works: 14, members: 87)
- Gerard Huet (works: 5, members: 35)
- B. A. Trakhtenbrot (works: 5, members: 31)
- Amos Fiat (works: 2, members: 19)
- Gordon Plotkin (works: 3, members: 17)
- Moshe Y. Vardi (works: 14, members: 16)
- Rajeev Alur (works: 5, members: 16)
- Dana S. Scott (works: 3, members: 14)
- Patrick Cousot (works: 3, members: 12)
- Michael S. Paterson (works: 3, members: 10)
- Eva Tardos (works: 7, members: 7)
- Maurice Nivat (works: 2, members: 2)
1–20 of 21
Related Tags
2012-0205 (2)
2014-0913 (2)
@bsmtit (3)
@work (2)
_shelf1 (4)
algorithms (46)
applied mathematics (2)
bibalex (2)
Bin 3 (2)
Box 4 (2)
browsed (3)
coding (5)
complexity theory (2)
computational geometry (3)
computational theory (3)
computer (9)
computer architecture (5)
computer engineering (3)
computer science (100)
computers (9)
computing (17)
Computing Science (5)
cs (2)
currently-reading (5)
data structure (4)
data structures (16)
ebook (10)
economics (6)
electrical-engineering-and-computer-science (subject) (2)
Electronic digital computers (3)
engineering (3)
engineering-to-read (2)
game theory (9)
goodreads (5)
goodreads import (4)
graphs (2)
informatics (3)
IT (3)
language (2)
li_3 (2)
logic (13)
math (19)
MIT OCW (2)
monograph (6)
non-fiction (19)
office (4)
owned (5)
PDF (2)
programming (25)
reference (2)
School of Engineering (school) (2)
science (7)
searching (4)
Shelf 3 (2)
software (3)
software development (4)
Springer (6)
textbook (6)
theoretical computer science (6)
to-read (80)